generalized Hoare logic
广义霍尔逻辑(电路)
热门查询
- stony adj. 无情的；多石的；石头的
- divining n. 占卜 adj. 占卜的；推测的 v. 占卜；发现（divine的ing形式）
- regionalized vt. 使地区化；分成地区，按地区安排
- Limassol n. 利马索尔（塞浦路斯地名）
- boson n. [高能] 玻色子 n. (Boson)人名；(法)博松
- CT abbr. 静态试验（Captive Test）；中央标准时间（Central Time）
- rework vt. 重做；修订
- combustion n. 燃烧，氧化；骚动
- authoritatively adv. 权威地；命令式地；可信地
- relish n. 滋味；风味；食欲；开胃小菜；含义；调味品 vt. 盼望;期待;享受; 品味；喜爱；给…加佐料 vi. 有特定意味；味道可口
- greenfield n. 市郊绿区 (Greenfield)人名；[英] 格林菲尔德 adj. 未开发地区的
- hurting v. 伤害；伤心；弄痛（hurt的ing形式） adj. 受伤害的；受损的
- benefiting vt. 有益于，有助于（benefit的现在分词形式）
- mute adj. 哑的；沉默的；无声的 vt. 减弱……的声音；使……柔和 n. 哑巴；弱音器；闭锁音 n. (Mute)人名；(塞)穆特
- perfectionist n. 完美主义者，追求完美的人；至善论者
- supercooled adj. [物] 过冷的 v. 过冷（supercool的过去分词）
- vocalisation n. <主英>= vocalization
- travis n. 特拉维斯（男子名）；崔维斯合唱团
- peroneal adj. 腓骨的；腓侧的
- gyro n. 陀螺仪；[航] 回转仪（等于gyroscope）；回转式罗盘（等于gyrocompass）；自动旋翼飞机（等于autogyro）
考试词汇表
- altitude distance diagram
- altitude of a triangle of
- altitude of lower transit
- altiverruca longimandible
- alto cumulus lenticularis
- alto cumulus stratiformis
- alto cumulus translucidus
- alto stratus lenticularis
- alto stratus translucidus
- altocumulus cumulogenitus
- alum precipitated antigen
- alum precipitated protein
- alum precipitated vaccine
- alum-precipitated antigen
- alum-precipitated protein
- alum-precipitated vaccine
- alumin(i)um chlorohydrate
- alumin(i)um hydroxide gel
- alumin(i)um phosphate gel
- alumina (aluminium oxide)
